tools/mono-binfmt.sh: fix error in mono binfmt registration command line