Use DynFlags.getMainFun in TcRnDriver