fix last commit

src/common/fxt.c

@@ -103,7 +103,7 @@ void starpu_set_profiling_id(int new_id)
 
 void starpu_start_fxt_profiling()
 {
-	threadid = _starpu_gettid();
+	unsigned threadid = _starpu_gettid();
 	fut_keychange(FUT_ENABLE, FUT_KEYMASKALL, threadid);
 }
 

src/core/workers.c

@@ -781,7 +781,7 @@ int starpu_init(struct starpu_conf *user_conf)
 	_starpu_init_tags();
 
 #ifdef STARPU_USE_FXT
-	_starpu_init_fxt_profiling(config.no_auto_profile);
+	_starpu_init_fxt_profiling(user_conf->no_auto_profile);
 #endif
 
 	_starpu_open_debug_logfile();