Fixed a crash when using mock with posix#198

ladisgin wants to merge 1 commit intomainUnitTestBot/klee:mainfrom

ladisgin/fix_mock_with_posixUnitTestBot/klee:ladisgin/fix_mock_with_posixCopy head branch name to clipboard