[PATCH 1/1] sqlite3: Use __sync_synchronize() with clang.