fix Gemstone VM name for download