Fix script to get zip or tgz depending on platform