fix vSMCFindRandom.cpp