Tips/Standalone Toolchainでlibgmp (NDK)の名前を変更します。