bugfixes in setup_work_arch.sh