using firm backend for assembling, output file name via --out argument