Fix build on latest Ubuntu.