fix devtoolset, package script, fix ABI problems on GMP