Fix unit test error when working directory is too long.
Merge pull request #2459 from ktf/fix-proof-test

Misc fixes -- Fix unit test error when working directory is too long.