Tentative fix for travis build.