Fix compilation of 04/44
Fix compilation of 04/44

Type error in pthread_mutex_init argument.
Missing return value for thread.

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer