Packages.py: turn off make check as it depends on ISIS