Bugfix for rare crash; release 8.0.1
Fix name in update_project.sh