another cc-stdc bug fix