Installing Phalcon on Windows with PHP compiled using VC10

I am running PHP 64bit compiled with VC10 running on Windows. The VC9 Phalcon DLL's do not work and give the following error.

Warning: PHP Startup: phalcon: Unable to initialize module Module compiled with build ID=API20100525,TS,VC9 PHP compiled with build ID=API20100525,TS,VC10 These options need to match in Unknown on line 0 PHP 5.4.9-Win64 (cli) (built: Nov 25 2012 15:47:52) Copyright (c) 1997-2012 The PHP Group Zend Engine v2.4.0, Copyright (c) 1998-2012 Zend Technologies with Xdebug v2.2.1, Copyright (c) 2002-2012, by Derick Rethans

Is it possible to get a 64bit version of Phalcon compiled using VC10?

At the moment we don't have VC10 DLLs. It is still work in progress. I don't know when we will have them ready but it is definitely something we want to address.