Fix the names of static variables in main.c