Make -pg/-pr/-Ox work