Fix the arguments of the #include directives