Install fixes2

Fix numbering after removal of GMP from install checks.