Workaround to fix CI build