try to fix build on Travis