Fix breakage in Trusty