--- ./tools/profiler/core/platform.h.orig	2019-07-03 10:25:38.000000000 -0500
+++ ./tools/profiler/core/platform.h	2019-08-20 13:15:02.648307043 -0500
@@ -47,7 +47,6 @@
 #if defined(__GLIBC__)
 #include <unistd.h>
 #include <sys/syscall.h>
-static inline pid_t gettid() { return (pid_t)syscall(SYS_gettid); }
 #elif defined(GP_OS_darwin)
 #include <unistd.h>
 #include <sys/syscall.h>