added instruction to change branch for z3
removed unnecessary execute bits