These got replaced by configure-generated files