Update default.nix Co-authored-by: Zhaofeng Li <hello@zhaofeng.li> addressing comments and use new format Co-authored-by: Nick Cao <nickcao@nichi.co>