translate.sh fails on rsa-new.lcc

[drwhomphd]

Version: gh-pages (commit 7106daf)

[nhusted@tie pcf]$ ./translate.sh examples/rsa-new.lcc examples/rsa-new.pcf2
Running unit tests....
General error: The value LCC-CONST:NOT-CONST is not of type INTEGER.