Fix build for u42.