makefile changed to compile with stdc++
makefile changed to compile with stdc++

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