Update 4_proot.nix