Fix for Ubuntu trusty.