Is Linux normally heavier?