Fixed cholmod configuration -- it used cached values when it should not