Update and rename carbon.mk to eos.mk