Version that should work with Magma >= 2.19-3.