And indeed, the problem was that when putting in to use 64-bit xlaunch, I did not set "Run as administrator". Once I set that things worked fine. Ah, the little twiddles we forget!
Sorry for wasting your bandwidth, but maybe there was some entertainment value in it for you! EM -- Problem reports: http://cygwin.com/problems.html FAQ: http://cygwin.com/faq/ Documentation: http://cygwin.com/docs.html Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple