reverted travis-ci to default configuration