Travis CI setup bugfix, episode XXX (we had lost a "X" in the last commits :-)