Make sure g++ 4.8 is used when compiling in Travis