Debian 解决错误：“configure: error: GNU MP Library version 4.2 or greater required.”