Testing build with coverity_scan with gcc 4.8 on Ubuntu 12.04