Have Travis use proper settings