more bugfixes in setup_work_arch.sh
git push default simple