Travis CI setup bugfix, bis