Missed a rename in the last patch.
Missed a rename in the last patch.

norton/chibi-scheme,holmescn/chibi-scheme,holmescn/chibi-scheme,norton/chibi-scheme,holmescn/chibi-scheme,norton/chibi-scheme,norton/chibi-scheme,norton/chibi-scheme,norton/chibi-scheme,holmescn/chibi-scheme,holmescn/chibi-scheme