Remove compilation errors after Dido changes.