support global redefinition in solver test installation