Change in jenkins[master]: experimental: append distro to repo path