A simple workaround seems to be to do rm /var/lib/apt/lists/*.gz each time before apt-get update Regards Martin