Fix profile extraction

exp.py

@@ -76,9 +76,9 @@ DOMAINS_ = [
 ]
 
 RECORDS = [
-	{ "filename": "youtube", "repeat": 10 },
+	#{ "filename": "youtube", "repeat": 100 },
 	#{ "filename": "peertube", "repeat": 10 },
-	#{ "filename": "wikipedia", "repeat": 1 },
+	{ "filename": "wikipedia", "repeat": 100 },
 	#{ "filename": "apple", "repeat": 1000 },
 	#{ "filename": "google", "repeat": 1000 },
 ]
@@ -90,10 +90,10 @@ CERT_SIGN_ALGS = [
 ]
 IMPLS = [
 	"aws_lc_rs", # Amazon's Rust crypto widely used in Rust stuff
-	#"boring", # Google's fork of OpenSSL used in Chrome and Android
+	"boring", # Google's fork of OpenSSL used in Chrome and Android
 	"openssl", # widely used
 	"ring", # used in most Rust stuff
-	#"symcrypt", # Microsoft's crypto
+	"symcrypt", # Microsoft's crypto
 	#"wolfcrypt" # used in embedded (won't build with rpxy for now)
 ]
 # Symmetric ciphers
@@ -145,9 +145,10 @@ EXPERIMENTS = {
 		"kexes": ["X25519"],
 		"cert": [
 			"prime256v1",
-			#"secp384r1",
+			"secp384r1",
 			"rsa2048",
-			"rsa3072", "rsa4096"
+			"rsa3072",
+			"rsa4096",
 		],
 	},
 	# Compare key exchange groups among implementations and TLS versions
@@ -629,7 +630,7 @@ def run_exp(expdir, config, only_record=None, idle=False):
 								#time.sleep(30)
 								#sh("killall netreplay")
 								try:
-									#ssh_run(ssh, f"rm /dev/shm/access.log /dev/shm/rpxy.log")
+									ssh_run(ssh, f"rm /dev/shm/access.log /dev/shm/rpxy.log")
 									pass
 								except invoke.exceptions.UnexpectedExit as e:
 									pass
@@ -669,7 +670,8 @@ def run_exp(expdir, config, only_record=None, idle=False):
 		YAPI.FreeAPI()
 
 def update_certs():
-	dist = platform.freedesktop_os_release()["ID"]
+	info = platform.freedesktop_os_release()
+	dist = info.get("ID_LIKE", info["ID"])
 	if dist == "debian":
 		for alg in CERT_SIGN_ALGS:
 			sh([