add redo+ and turn on emax_facilities.el