Rename problem description file