Fix VEX_STRINGIZE_SOURCE

In some cases BOOST_PP_STRINGIZE (used in the background of
VEX_STRINGIZE_SOURCE) did not work.