Allow invoking badavi without a file.