Configure correctly when CC on top-level config command line
Silence printf format warning