threads and userprog fix