[tor-commits] [research-web/master] Fix script name in Makefile