GRMLBASE.var: set maximum number of packages installed at a time to 3000.