update nixpkgs to a3a5e2d31ded105878b3bce94f13d8e0d4115f8c