Fix compilation (hopefully) following 5070987ae2a2fffcc356b56b226459b9489061ad