Fixed compilation in Ubuntu 12.10