Puts back haiku.opt()