Fixing the Travis CI configuration