Build #33:   Merge pull request #21 from CT-18/det-fix fix int_det on branch master almost 8 years ago