[tor-commits] [flashproxy/master] re-fix #9940 on the new split Makefiles