Update and rename full_z3c.mk to full_Aries.mk