No need to compile libgmp