Update setup-mavericks.bash