Thanks a lot Sebastiaan for your speedy and effective answer, I copied the file you sent me, made the ad hoc changes, and my installation resumed just fine! Best regards, Laurent -- To UNSUBSCRIBE, email to debian-user-request@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org