fix naming for crt manifests with newer deps