Fix build on 4.00.1 and earlier.