Fixed travis-ci setup