Fix compilation under 5.20 (untested). #2109