Packages.py: Make ISIS build on recent Ubuntu
BB: Minor fixes