Use magma-1.6.0