The files are no longer generated by configure, so they should not
be removed by the distclean target any longer.