make production.html work again, using files from dist/