Work on setup-oscar12.sh