Simplify counting installation section; commit synced with https://github.com/cusu/bob-gui/commit/c853a780bf8e0382ee97299ddfbf4024cd4709c7