src/core/workers.c: do not use sys_siglist as it does not belong to the standard

src/core/workers.c

@@ -1157,11 +1157,7 @@ static void (*act_sigsegv)(int);
 void _starpu_handler(int sig)
 {
 #ifdef STARPU_VERBOSE
-#  ifdef STARPU_HAVE_WINDOWS
 	_STARPU_MSG("Catching signal '%d'\n", sig);
-#  else
-	_STARPU_MSG("Catching signal '%s'\n", sys_siglist[sig]);
-#  endif
 #endif
 #ifdef STARPU_USE_FXT
 	_starpu_fxt_dump_file();