Fix #712: stack trace normalization does not like ' (' in file name.