[tor-commits] [flashproxy/master] Get rid of duplicate FLASHPROXY_VERSION by overriding DISTNAME.