silence a GCC warning about the cast to function ptr