make older gcc happy