Fix compilation on magma 1.5