Bugfix/update github from codex