Fix travis build file (2)