[TARGET_BUILD] Fixes to push TARGET_BUILD as number rather than symbol. Fix to doxygen target too