zirman/magma not found