Removing real-main.c to comply with new .gitignore.