I tried the procedure given by essexboy, but avast still is not working. I uninstalled avast and installed avira, because it works fine on 8.1. Hopefully this is fixed soon so that I can switch back to avast.