Tries to fix problem with travis-ci