Fix travis build (2)