suppress GCC warning