Pulled the platform for the Chocosolver hotfix