* gcc_release (build_sources): Generate more files from