Fix the include lines for files in include/.