Samuel Thibault writes: > It should. Please report the issue using the reportbug tool (or the > debian-user list if you do not understand the reportbug tool). Thank you. It seemed like it should. Martin