updated gcc built-in __sync_* functions