try to fix build on Travis CI