fix old GCC's...