updated instructions for Ubuntu 13.10

Compiling was broken for Ubuntu 13.10, this documentation change fixes it.