[Pharo-users] Problem installing Magma