fix: carry a profile destination into the truth

A profile states where the code reads a file as path: or destination:,
and the resolver reads both. The truth copied path only: redream's
dc_bios.bin, read at dc/boot.bin, reached the export with no path, so
System.dat's dc/boot.bin was not seen and a dc_bios.bin line was added,
and Batocera got bios/dc_bios.bin instead of bios/dc/boot.bin.

scripts/truth.py

@@ -155,6 +155,11 @@ def _merge_file_into_system(
     Dolphin's three IPL.bin differ only by GC/USA, GC/EUR, GC/JAP. Under
     one path or none, its declarations are revisions of one file.
     """
+    # A profile states where the code reads a file as `path:` or as
+    # `destination:` (redream's dc_bios.bin at dc/boot.bin), as the resolver
+    # reads them.
+    if not file_entry.get("path") and file_entry.get("destination"):
+        file_entry = {**file_entry, "path": file_entry["destination"]}
     files = system.setdefault("files", [])
     existing = _same_file(files, file_entry, emu_name)
     if existing is None: