externalize ZIP extraction from HgtFiles