fix buildworld after 595d23f777dc.
Reported by: se
(cherry picked from commit da4047d3ba23201ae4049dccea1151bd6ca2d1df)