Update for Ubuntu 13.10 environment compilation.