so my linux installation can be even faster