Update INSTALL with instructions for making widget file unique