Attempt to fix travis CI build error