Escape Festschrift: getExec() needs to be escaped before being used.