Restore changes in userprog