Missing case-insensitivity for certain filenames for Windows 7 guests

Description

Use a Windows 7 64-bit guest on VirtualBox 4.1.2 on Linux 64-bit hosts.
Mount a VirtualBox-Filesystem share.
Open a "cmd" box and change the current directory into a directory in this share.
Execute following script: