From 8fe5b2053b529d6ed1411bed48806541994c7741 Mon Sep 17 00:00:00 2001
From: Sylvain Lefebvre <sylvain.lefebvre@inria.fr>
Date: Mon, 22 Jan 2024 21:27:09 +0100
Subject: [PATCH] updated installations path and scripts (for Linux in
 particular, #240 #255)