Hi,

My system uses X11R7 instead of X11R6. I don't know if it's a widespread usage nowadays but here is a proposed patch for those in the same situation.

Regards,

Fabrice Ménard

menard.fabrice@orange.fr