Reference libgmp location