Fix installation on Travis CI