polytopes_db: install fix
gap: fix GMPDIR