Fix compile errors on Ubuntu 13.10