Fix dev-tools registry name fallback