support for compilation with gcc