make gcc happy