Fix travis failure on github