Remove binfmt hackery