fixed compilation error on gcc