Try to fix building on travis-ci.org