Fixed incorrect build error with SAT