avcodec_default_reget_buffer(): fix compilation in DEBUG mode