For some time, due to lack of disk space, I had to store my sources in a FAT file system, even though I was doing builds on GNU/Linux. Since all files lost the +x bit, I could find a minor problem in ld/configure.in, fixed with the following patch. Ok to install?