configure: make __sync_fetch_and_add() test use 64-bit types