fix compilation with gcc
fix compilation