Next attempt to use g++-4.8 with Travis