Restore test-perf.exe build fix that mysteriously disappeared
Restore test-perf.exe build fix that mysteriously disappeared

FStarLang/FStar,A-Manning/FStar,FStarLang/FStar,A-Manning/FStar,FStarLang/FStar,A-Manning/FStar