switch to Anthony's FLOOKUP_DEFN_CONV for the bootstrap