trophy source: autoconf-generated-file-in-source trophy/config.status
