cd /tmp/$1 timeout -s KILL 10 mcs $(echo code.code | sed 's/\///') -out:binary timeout -s KILL 3 bash -c "cat args.args | xargs -d '\n' mono binary"