Rename problem8.txt to problem008.txt