fix build against 7.2.10