bump printf buffer