Alessio Cervellin @ acm wrote: > did you try to change mirror? > sometimes files on mirrors get corrupted... No, I'll try that tomorrow and let you know. This was the default one (US?). /Peter