Oops, the actual unzip goal was commented-out, as it takes forever under windows