further tweaking travis-ci