Comment by pablomalo

Same here. I do not have admin rights on the machine so, unless I'm mistaken, I don't have any other option but to reboot.