Modified travis config