Fixed problem with prettyprinter with dirnames containing a dot