Copy the file to the right place!

Also remove some pointless debugging info from the publish script. (Dang it, should have been two pulls but I'm not going to break it up just for this.)