On Tue, 3 Feb 2015 23:01, orangeprince at hushmail.com said: > How come it's not listed in `./configure --help` though? There was some hickup with the name of that option. With the latest versions (possible not yet released) both names should work. Shalom-Salam, Werner -- Die Gedanken sind frei. Ausnahmen regelt ein Bundesgesetz.