Fix build for 4.2.4