Attempt to please sparse.
Attempt to make smatch happier.
More resilent configure.