Try to fix 0.8 travis build...