Diff ponyprog-3.1.3 with a ponyprog-3.1.3-r1

Thank you!