work around Linux useless basename by not using it
remove progname stuff