[mkgmap-dev] Question about ovm-work-files