Delete reverse_polish.pl