Fix compilation on 3.12