fix badly named patch file