Proposal: Add getFullProgName