LIB "tropical.lib" segfaults/buserror when loading polymake.so

[fortunypedro@…]

OS: Ubuntu-18.04.5
CPU: Intel Core i5-6500
Singular: 4.1.0
(somehow I cannot get 4.2.0 from ftp)

BUG:

> LIB "tropical.lib"
// ** loaded /usr/bin/../share/singular/LIB/tropical.lib (4.0.0.0,Dec_2013)
// ** loaded /usr/bin/../share/singular/LIB/ring.lib (4.0.3.5,Nov_2016)
// ** loaded /usr/bin/../share/singular/LIB/general.lib (4.0.0.1,Jan_2014)
// ** loaded /usr/bin/../share/singular/LIB/matrix.lib (4.0.0.0,Jun_2013)
// ** loaded /usr/bin/../share/singular/LIB/nctools.lib (4.0.3.3,Sep_2016)
// ** loaded /usr/bin/../share/singular/LIB/inout.lib (4.0.0.0,Jun_2013)
// ** loaded /usr/bin/../share/singular/LIB/hnoether.lib (4.0.3.5,Nov_2016)
// ** loaded /usr/bin/../share/singular/LIB/sing.lib (4.0.0.0,Jun_2013)
// ** loaded /usr/bin/../share/singular/LIB/primitiv.lib (4.0.0.0,Jun_2013)
// ** loaded /usr/bin/../share/singular/LIB/absfact.lib (4.0.0.0,Jun_2013)
// ** loaded /usr/bin/../share/singular/LIB/primdec.lib (4.0.2.0,Apr_2015)
// ** loaded /usr/bin/../share/singular/LIB/triang.lib (4.0.0.0,Jun_2013)
// ** loaded /usr/bin/../share/singular/LIB/polymake.lib (4.0.0.0,Jun_2013)
// ** loaded /usr/lib/x86_64-linux-gnu/singular/MOD/customstd.so
// ** loaded /usr/lib/x86_64-linux-gnu/singular/MOD/gfanlib.so
   ? mod_init not found:: /usr/lib/x86_64-linux-gnu/singular/MOD/polymake.so: undefined symbol: mod_init
This is probably not a dynamic module for Singular!

// ** `mod_init` in use, can not be killed
   ? error occurred in or before polymake.lib::mod_init line 142: `  LIB "polymake.so";`
   ? leaving polymake.lib::mod_init
Singular : signal 11 (v: 4103):
current line:>>  LIB "polymake.so";<<
Segment fault/Bus error occurred at 0 because of 10246 (r:1623312872)
please inform the authors

[hannes]

already fixed (4.2.0 or before)