Ensured that Coverity Scan is correctly configured for GCC 4.8.