Thank you very much for feedback, that is very helpful.

We are about to publish an update to the Linux version which I hope will fix this. I will update here as soon as it is available.