Hello,<div><br></div><div>do we really need profiling for every installed package? We could reduce compiling time and disk space usage by 1/3rd.</div><div><br></div><div>Fabio</div>