fix coverity to use gcc-4.8