Improve Ubuntu 14.04 compatibility.