Correctly name PDB file

After the switch to ninja, the PDB file was named th06e.exe.pdb, which
broke a lot of tools that assume the debug file is in th06e.pdb. This
commit fixes it by passing the correct name to link.exe.

scripts/configure.py

@@ -52,7 +52,8 @@ def configure(build_type):
         writer.rule("as", "$gas -o $out $in")
         writer.rule("rc", "$rc /fo $out $in")
         writer.rule(
-            "link", "$link /out:$out $link_flags /debug /pdb:$out.pdb $link_libs $in"
+            "link",
+            """cmd /c "for %F in ("$out") do $link /out:%F $link_flags /debug /pdb:%~pdnF.pdb $link_libs $in" """,
         )
         writer.rule(
             "copyicon",