auto-generated nix files