Try to fix build on travis-ci