Enhance coverage reports, gcc-4.7 compatibility