finally fixed the can't find minuit problem