fix crash in trusty 14.04