[tor-commits] [flashproxy/master] use BRE instead of ERE to support FreeBSD better