As a workaround, you can use the binary release from KTH, which even works with 64-bit ubuntu when you install linux32.
As a workaround, you can use the binary release from KTH, which even works with 64-bit ubuntu when you install linux32.