Fix compilation issue on fresh ubuntu 13.10 install