Sync keel with original source code.