(Only the first 10 of 17 ports in this commit are shown above. )
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)