try to fix build failure on Travis