copying of autogenerated files is now managed by tool/Makefile.am