> After some iterations, we merged the branch with the new build scheme. the commit to implement this change in the manalyzer was not pushed, for reasons unknown. fixed, commit f2b4dc87ca4830f6bed8667d6a4ee4afd6d242a1 K.O.