Redefine vermagic rule to make it switchable