They released an update 8.17 which corrected the problem. And subsequently, another update 8.18 which was ok.
