64-bit libraries

Version 12.5.1 of SDK and Open Server is available in 64-bit versions, with these caveats: