Yet more fixes to sthread_user