Travis: Screw it, let's just set "CC=gcc-4.8 CXX=g++-4.8".