main: fix the include statement