Use fully-qualified names in VEX_GLOBAL_CONSTANT