Fix travis-ci.org build