Mir

Comment 0 for bug 1406073

Binaries are no longer runnable when copied to other hosts:

# bin/mir_proving_server
Failed to execute real binary .mir_proving_server-uninstalled: No such file or directory
# ls -l bin/.mir_proving_server-uninstalled
-rwxrwxr-x 1 dan dan 3064944 Dec 28 16:36 bin/.mir_proving_server-uninstalled

and

# ./mir_proving_server
Failed to execute real binary .mir_proving_server-uninstalled: No such file or directory
# ls -l .mir_proving_server-uninstalled
-rwxrwxr-x 1 dan dan 3064944 Dec 28 16:36 .mir_proving_server-uninstalled