xscreensaver: version bumped to 5.23.