Patches for tldk ci-management on the bootstrap.sh not found bug.6