Make lint-xml slightly more robust (#1713) Detect failures on piped commands and enusre public/ is a dir