On Thu Aug 11 05, alexander wrote: > > Hmm...very odd. Should I file a bug report about this problem? Alright. I submitted a PR and got a suggestion on how to solve the problem by Bruce Evans. Could somebody (apart from me) try out his workaround and see if it works? Thx a bunch.