Fixed mixup between Win32's "supertux2" and Linux/MacOSX ".supertux2" directory name