a new each time a device is created). This simplifies the implementation of the file manager (now the file manager always exists, even when deleting the dummy device and creating the real device).
git-svn-id: svn+ssh://svn.code.sf.net/p/supertuxkart/code/main/trunk@11846 178a84e3-b1eb-0310-8ba1-8eac791a3b58