Allow to specify filename on sha1-ia64.pl command line.