adjusting the travis-ci configuration