Renamed to src/gghc/main.c.