* too much breakage on nixos-unstable * we should track upstream yosys/nextpnr more closely than nixpkgs does