Update vermagic