dump: Accept filename on command-line.