Use __thread instead of thread_local, for gcc 4.7