isis: remove CHOLMOD hacks and UFconfig