Figure out file name of restart dump.