add vermagic