Logged In: NO

I forgot to mention, that the problem refers to the
System.Console.GetOpt module and the fix is to be applied to
the corresponding file GetOpt.hs.