(frontend.c) Fix include