fix compile error in certain c compilers