pki tool supports single letter short options