]> This was actually a bug in GNOME Terminal... sorry for the noise. Dawid