Fixed Manticore dependency