export LD_LIBRARY_PATH=/usr/local/lib:/home/suser/FLINT/flint2:/home/suser/deformation:$LD_LIBRARY_PATH

