Updates for latest redeo version.