Since the .installed-pkg-config and .setup-config files depend on the configure procedure and on the machine - shouldn't they be placed in 'dist', even more in a machine dependent sub-directory?