Another attempt to fix travis CI build