gazebo3: use default branch for --HEAD