Fix bug in os_read() of uninitialized *eof
Print trie edge string length histogram