Build DrGeo with the stable Pharo image 7.0.2
Bug watches keep track of this bug in other bug trackers.