fix build on tinderbox