Prefer gcc-4.2 over gcc-4.0 if available

This breaks with homebrew's usual practice of preferring whatever
`cc` points to, but with a compiler this old the newer compiler is
better.