Fix gcc breakage