started "compile to magma" option