Incomplete configuration of Travis CI