--- a/src/thread/pthread_create.c.orig	2019-11-14 11:04:56.283960590 +0100
+++ b/src/thread/pthread_create.c	2019-11-14 11:05:39.864085168 +0100
@@ -195,6 +195,7 @@
 	__pthread_exit(args->start_func(args->start_arg));
 	return 0;
 }
+int __thread_start(void *p) __attribute__ ((alias ("start")));
 
 static int start_c11(void *p)
 {