echo usage: ${0##*/} FILE