try to fix build on travis CI