This question is over a month old with no reply. Did you find an answer to this? If not, I can try to bring this up with the Linux team.
you should be able to do your restore without starting server.
Please let me know if you have additional questions, and apologies for the long silence on our end!
paul van zwalenburg
sr. technical writer