Fixing mre sthread_user.c