Rename Agile.mp to agile.mp