Fix build for older versions of Ubuntu