
we currently do it at configure time, which makes this a generated source, but generated sources should be cleaned up, which breaks 'make clean; make'
we currently do it at configure time, which makes this a generated source, but generated sources should be cleaned up, which breaks 'make clean; make'