Newest chibi-core, changes to whitespace handling