ccadar/klee — pull request #47 by 251 (2013-10-18 12:27:48+00:00)
Title: stubs.c: undeclared PATH_MAX

Fix issue #46.