Compilation fixed on Ubuntu 12.04