tools/mono-binfmt.sh: tool to register mono executables to be executable by the Linux kernel