Reverted Makefile-related and script changes made since Mon Jan 7.  (This fixes whatever is wrong with the Web UI.)