GCC 4.x compilation problems fixed by Diego.
2 files changed