Fix travis-ci builds