Configure-time utilities for using C headers
