Fix compilation issue on Ubuntu 13.10