We can't strip the <?php at the end of a __halt_compiler() segment in file mode. Fixed by being a bit more explicit in prettyPrintFile() about what we want to do...