Migrate Desktopcentral server from x32 to x64 version

Hello,

Is there a procedure to migrate the Desktopcentral server installation from 32 bits to the 64 bits version (same server)?

Thanks.
Sylvain