add_sat(3clc) on Linux

The text e0f544fc699b, as Debian 9 (Stretch), Debian 8 (Jessie) shipped it.

Add two values and saturate the result.

add_sat(3clc) on Linux now