Made the code compile on GCC 4.4.