[PPL-devel] build fails for ppl-0.10.2; ppl_interface_generator_c_cc_files.m4 "killed".