fix for travis CI build failure