Make GCC 4.4 happy.