better selection of C compiler

git-svn-id: https://smlnj-gforge.cs.uchicago.edu/svn/manticore/trunk@5698 ac4fbcad-d21d-0410-b760-c7b1d3380187