Fix build after 6f1216ce77