diff --git a/zynq.nix b/zynq.nix
index d826d8d..4838118 100644
--- a/zynq.nix
+++ b/zynq.nix
@@ -35,14 +35,15 @@ in
 
       buildPhase =
         ''
-        cd ${<artiq-zynq>}
         export USER=hydra
+        pushd ${<artiq-zynq>}
         bash ${<artiq-zynq>}/remote_run.sh -h rpi-4 -o "-F /dev/null -o StrictHostKeyChecking=no -o UserKnownHostsFile=/dev/null -o LogLevel=ERROR -i /opt/hydra_id_rsa" -d ${artiq-zynq.zc706-simple-jtag}
+        popd
 
         sleep 15
 
         cd examples
-        artiq_run mandelbrot.py
+        artiq_run --device-db ${<artiq-zynq>}/examples/device_db.py ${<artiq-zynq>}/examples/mandelbrot.py
 
         touch $out
         '';