yes, `ghc` is now using just `gcc-4.8`, without the full path, but was using `/usr/local/bin/gcc-42` before.
I thought this was done on purpose. Should I propose a patch?