another gcc fix