Updates to support Ubuntu 14.04.