fixed build with GCC