fix main arguments as best we can in c backend