make gcc happy ...