warning("shell-win32.conf is deprecated and has no effect.")