I wrote on Sat, 04 Jun 2011 12:52:20 +0200: > I wrote on Fri, 03 Jun 2011 21:59:29 +0200: >> I must admit though that I'm not sure whether 'ginclude' is a good name. > -gui_include seems better. It should read -gui-include. Ingo