Rename 4-25 to 4-25.pl