4.23c: Fix pn_cover and uopt usage inside main