Rename prob5.txt to prob05.txt