Do not check out several jsk repositories to use deb packages