[PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Do use $(interface_generator_files) when defined.