Binfmt script