Patching ZF1 the hard way