use a larger buffer for debugf