Decrease the size (should it be possible) of some deployed files on Linux [ci skip].
Decrease the size (should it be possible) of some deployed files on Linux [ci skip].

mirams/opencor,mirams/opencor,Fairly/opencor,mirams/opencor,Fairly/opencor,mirams/opencor,mirams/opencor,Fairly/opencor,Fairly/opencor,Fairly/opencor