fix compilation with gcc481