Manually update/repair the Citrix server by running Setup.exe from the Deploy package on the database server.