tweaking travis-ci