This had gone unnoticed for a while: the buildbot was passing
--with-typewitnesses to the build slaves' configure... only this wasn't having
any effect because of a missing hyphen (type-witnesses).
It seems like the configure script should be complaining if you pass it things
it does not understand.