Update and rename z3c.mk to Aries.mk