Update and rename carbon.mk to mahdi.mk