diff --git a/artiq/frontend/artiq_flash.py b/artiq/frontend/artiq_flash.py
index a311a1647..7895d867d 100755
--- a/artiq/frontend/artiq_flash.py
+++ b/artiq/frontend/artiq_flash.py
@@ -76,7 +76,7 @@ def scripts_path():
     if os.name == "nt":
         p.insert(0, "Library")
     p = os.path.abspath(os.path.join(
-        os.path.dirname(shutil.which("openocd")),
+        os.path.dirname(os.path.realpath(shutil.which("openocd"))),
         "..", *p))
     return p
 
@@ -84,7 +84,7 @@ def scripts_path():
 def proxy_path():
     p = ["share", "bscan-spi-bitstreams"]
     p = os.path.abspath(os.path.join(
-        os.path.dirname(shutil.which("openocd")),
+        os.path.dirname(os.path.realpath(shutil.which("openocd"))),
         "..", *p))
     return p