fix compilation error on some machines