diff --git a/share/kak/gdb b/share/kak/gdb
new file mode 120000
index 00000000..1e414707
--- /dev/null
+++ b/share/kak/gdb
@@ -0,0 +1 @@
+../../gdb/
\ No newline at end of file
diff --git a/src/main.cc b/src/main.cc
index cebc78f5..f0483835 100644
--- a/src/main.cc
+++ b/src/main.cc
@@ -1140,6 +1140,7 @@ int main(int argc, char* argv[])
     return 0;
 }
 
+#if defined(__ELF__)
 asm(R"(
 .pushsection ".debug_gdb_scripts", "MS",@progbits,1
 .byte 4
@@ -1151,3 +1152,4 @@ asm(R"(
 .ascii "gdb.printing.register_pretty_printer(gdb.current_objfile(), kakoune.build_pretty_printer())\n"
 .popsection
 )");
+#endif