update nixpkgs to 9c3d5ed1c4e12d736079bab2b0a8de792ebc0bbb