Fix travis build (again)