One minor correction: the problem has been reported to Devuan as bug #433 <https://bugs.devuan.org/db/43/433.html>, not 432. Regards, Andrey.