Packages.py: Minor tweaks on packages to install