Try to fix build on travis-ci.org