Code removal

This code was a leftover from the previous attempt to get rid of
cf3.defs.h.