Re: winex11.drv: give a better warning for broken drivers on 64-bit OS's