Output file name is a command-line option now.