Fix travis config (once again)