Fix fix. There are no unsat cores in 1.4
Merge branch '1.4.x' while ignoring commit 8d5eb49.