Fix security issue.

Safely pass the UML text to be interpreted (avoid risk to get command-line
messed up by users).