fix maglevs GEMSTONE version detection, fix #1798