Remove obsolete files, and fix update.sh