Fix compilation problem on Ubuntu 11.10