Rename codex.mk to carbon.mk