Correct include name for generated files