fix for travis CI