XX try to fix travis CI build
XX try to fix travis CI build