klee/klee — pull request #136 by MartinNowack (2014-07-09 14:53:03+00:00)
Title: Fix runtime search path for STP library

In our case, typically, STP library is not
installed in the systems library path.
Make sure we search for library path during
runtime of the application as well - not only during linktime.

Fixes #130