Thanks, Pondus, for information about failed avast. The solution worked though I had to reboot afterwards.