Fix to build on Trusty.

[no PT story]