#4137 fix build