Remove vermagic_strip trickery in favour of better trickery