proper libraries_closure for libgmp;
tuned;