Work around crazy bug in libstdc++5.4, regex-egrep dialect.
Work around crazy bug in libstdc++5.4, regex-egrep dialect.
ethz-asl/Schweizer-Messer,ethz-asl/Schweizer-Messer,ethz-asl/Schweizer-Messer,ethz-asl/Schweizer-Messer