Replace current implementation of linkWithLibrary()

Per comment to previous pull request: https://github.com/ccadar/klee/pull/5#issuecomment-24860487