prologic/minimal not found