src/main.c: removed unnecessary header.