Fix for Ubuntu 14.04 build.