Update reverse_polish.pl