ssh/generate: set $progname