Fix build broken at 09ed30750282