fix dd5d4729b460f110843809a6da65ea5221805f36

finish removal of #ifdef WEBB_DISINT