fixing travis-ci setup