mogatesing/mosat not found