Fixed included headers for trusty build