Linux installers installs plugins with incorrect permissions

[MartinGuehmann]

In my plugin folder ~/.t_coffee/plugins/linux/, I have:

-rwxrw-rw- 1 martin martin 4921774 Nov 30 2019 clustalo

This is OK for my local installation, where the stuff in my home folder and when I own it. But this way, it does not work on a cluster computer, where the stuff is owned by root. In that case the permissions should be:

-rwxr-xr-x 1 root root 4921774 Nov 30 2019 clustalo

There are few other files among the plugins, that have the same problem with permissions. Sure the permissions can be fixed manually, but the installer should install everything with the correct permissions.