Trying to fix problem with Travis CI