r10012: fix build breakage caused by forgotten commit in local tree