Fix build on travis-ci.org