[Bug 8736] New: configure didn't work on AMD64