(Sorry, I had answered but directly to Ivan instead of to the mailing list. Blame Gmail :).) This should be fixed now. -- Siegfried-Angel Gevatter Pujals (RainCT) Ubuntu Developer. Debian Contributor.