put a 4ti2 installation here in this directory. you only need the file 4ti2gmp.
