Clobber ptlsim hard enough to build with qemu 1.6.