Fixed a couple of compilation errors when using GCC.