Update codex.mk