Fix problem with travis-ci