update to magma 1.4 interface