fix a compilation error on some system