Hacked includes to try to work around a build failure on Trusty