fixed userprog tests