Fix the weak_stub_maker.pl script