Thank you for your answers, Alastair and Manuel. I played with the "Ports" configure.in, and will do the same with the gtk+hs one. If you can send me your work-in-progress, Alastair, I'll study it to. Thanks, Alain