Fix travis CI

#3813