redefining gcc-4.8 to match coverity config