Bug fix: gcc sometimes has a non-ascii output, causing "match" to crash