Build the FStar command as an array, instead of a string, to avoid path-related issues
Build the FStar command as an array, instead of a string, to avoid
path-related issues

project-everest/vale,project-everest/vale,project-everest/vale,project-everest/vale