configure: fixup __sync_fetch_and_add()