Add command to copy (maybe symbolic link would be better?)
libstp.a to lib/libstp.a which where clients (like KLEE)
expect the library to reside.