silence a GCC warning