fix build after 9dda8b3bb09543455da27899a6f9df0b6cb086d8