fix CI build (damn mac case-insensitivity)