GCC 4.5 compatibility: don't include deprecated headers.