Work around some compiler warnings for GCC 4.2.