[Bug 8736] configure didn't work on AMD64