filename issues when checking out the source on other operating systems. I've verified the generated paper.ascii is identical before and after the change.