Make Travis use dev settings