fix bug with c++/c-style string
fix bug with c++/c-style string


Former-commit-id: 5502bd5455f21558f801e017fb48db22e873d5e3
karel-brinda/prophyle,karel-brinda/prophyle,karel-brinda/prophyle,karel-brinda/prophyle