Fix OSRM on Trusty #14