[ANN] New installation procedures for Magma