How should I be installing this under linux? I'm running ubuntu 20.04 64 bit.
The pum file has no extension, i thought it might be a batchfile, but it appears to be a binary file.
Cheers, David
