Changed travis setting again