The volume should only be half full, but installers and other software complains there’s insufficient free space. What to do.