Make datatype lib allow U+000C as whitespace.