tweaking travis-ci config