Merge pull request #447 from peternewman/e1.37-2

Make Travis use g++4.8