Update and rename mahdi.mk to carbon.mk