modified travis-ci configuration