update the JS files to use copied production versions; fixes #12