make gcc happy with Buffer's copy constructor