GitLab

	files, compute the name of the source file corresponding to the
	object file, and #define it as UNEXEC_SRC in config.h.