extract dump filename