output stderr as well
escape cfg labels in goblint