Try a fix for Ubuntu 14.04 builds