Where is gpucomputingsdk_4.0.11_win_64.exe? Need 64-bit version of CUDA 4.0 GPU Computing SDK

Looking in the download listing for the CUDA 4.0 release candidate, I see the Win32 version of the gpu computing SDK (gpucomputingsdk_4.0.11_win_32.exe) but not the 64-bit version. I have downloaded and installed the 32-bit version, but it does not install a cutil64.dll, which is needed for my project. What is the solution?

I think the solution might be looking more closely. For some reason the ordering of the files is a bit funny… you should find the file in the list a few lines above the other gpucomputingsdk files.