Upgrade libs
resolve term