- removing pretty_dump (now moved as separate project)