--- src/Csdp/lib/user_exit.c	2017-07-26 02:44:57.000000000 +0800
+++ src/Csdp/lib/user_exit.c	2024-06-10 18:15:44.000000000 +0800
@@ -13,6 +13,7 @@
 #include <sys/time.h>
 #include <sys/resource.h>
 #include <signal.h>
+#include <stdio.h>
 
 int sigterm_signaled=0;