Make gcc happy