#4632: Add web_widgets to make file.