4.2.4 was released with the relevant changes