Fix travis build #3