update codex

updated codex, so that it can be used to test generation