Comment 4 for bug 679753

6. The pto file was written without output format options, so it was not directly usable for reproducing the output. This patch fixes it. IMHO an even better fix would be possible at the cost of breaking backward compatibility.