Where could I find PHP 5.3.1 x64 binaries (for IIS 7.5)?

I'm i开发者_如何学运维nstalling a new server with Windows 2008 R2 and now I need to install PHP on it.

I can find only x86 versions into http://windows.php.net/download/

I don't know how to compile the sources nor I have the VC compilers :(

x86 binaries should run fine even on Windows x64. Have you tried the x86 ones and found them to not work?