makefile changes in the clean
makefile changes in the clean

rbaghdadi/pencil-benchmark,pencil-language/pencil-benchmark,dividiti/pencil-benchmark,dividiti/pencil-benchmark,pencil-language/pencil-benchmark,rbaghdadi/pencil-benchmark,pencil-language/pencil-benchmark,rbaghdadi/pencil-benchmark,dividiti/pencil-benchmark