Some ugly hack for xmlgreping in another location