default.nix is used by myself