Travis config to use G++ 4.8