Unbreak port by updating to 4.23.
Triggered by: kris wants to remove broken ports
Approved by: maintainer timeout (he hasn't much time at the moment
and I want to have bugs get reported just in time to
have it fixed before 5.1)