Fix Travis 4.02 compiler switch