configure help tweak: c compiler needs to be specified for cmake