Suppose that I have a commercial package "X" that comes precomplied with GMP. I do not have the source code of X. I want to replace the GMP in X with GMP compiled for my own machine. Do I just need to remove the file libgmp-3.dll that comes with X and replace it with my own?