Changed travis-ci accordingly