Switch away from gcc 4.8 assuming that's what's breaking coverity