Fix compilation warnings spotted by gcc