On Wed, 14 Oct 2015 16:04:43 +0200, Mats Lidell wrote: > I tried your configure options and I'm afraid it works fine here. One > difference in our setup is that I'm on a 32 bit Cygwin on a Windows 7 > 64 bit machine. You are on a Windows 7 32 bit machine, right? Oh, that's right! I'm on a 32-bit Windows 7 in the office. It must be the key. Thanks.