acme and output file (binary exact!)