Avoid compiler warnings with gcc 4.7.3