workaround gdc bug?