Update main.c for GNU/Linux emulation.