update INSTALL for NixOS