linux-user: rename gettid() to sys_gettid() to avoid clash with glibc