Fixing the Travis-CI stuff