GCC 4.5 compatibility: missing header.