Fix travis-ci config (again)