minor update on main.c about the specific platform