Travis CI may be slow sometimes