gazillion different servers. Resurrected some 25 missing files. svn path=/nixpkgs/trunk/; revision=2237
for now. svn path=/nixpkgs/trunk/; revision=1489