Dear debian developers, It seems that this bug disappeared with the last apt upgrade. Best regards, -- Jean-Marie Favreau - http://jmfavreau.info