diff --git a/default.nix b/default.nix
index 40ce07df..1c101abc 100644
--- a/default.nix
+++ b/default.nix
@@ -8,7 +8,7 @@ let
   vivado = import <artiq-fast/vivado.nix> { inherit pkgs; };
   # FSBL configuration supplied by Vivado 2020.1 for these boards:
   fsblTargets = ["zc702" "zc706" "zed"];
-  sat_variants = ["acpki_satellite" "nist_clock_satellite" "nist_qc2_satellite"];
+  sat_variants = ["satellite" "nist_clock_satellite" "nist_qc2_satellite"];
   build = { target, variant, json ? null }: let
     szl = (import zynq-rs)."${target}-szl";
     fsbl = import "${zynq-rs}/nix/fsbl.nix" {