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