fix to travis config