By passing -split-sections to all dependencies, GHC will link only the modules we actually use and not the full package for each dependency. This does neither work on MacOS nor Windows, thus we don't do it for stack right now. Stripping unused symbols in CI will further decrease the size of those files.