tentative fix for travis failures