diff --git a/artiq/frontend/artiq_flash.sh b/artiq/frontend/artiq_flash.sh
index 4443c54b6..f74f8910f 100755
--- a/artiq/frontend/artiq_flash.sh
+++ b/artiq/frontend/artiq_flash.sh
@@ -13,7 +13,7 @@ def run(script):
 run("""
 set -e
 
-ARTIQ_PREFIX=$(python3 -c "import artiq; print(artiq.__path__[0])")
+ARTIQ_PREFIX=$(python3.5 -c "import artiq; print(artiq.__path__[0])")
 
 # Default is kc705
 BOARD=kc705