Currently CI fails because the nixpkgs version requires nix version 2.18. We should update CI accordingly.