Fix build breakage on older versions of Ubuntu.