update nixpkgs to 88b31b668c055c46fd736e1165b48a8af9fc2b36