one occurence of regex-usage was not disabled under linux#