Compiles now on Ubuntu 13.10