Fix compilation on 7.4.2