[CI] add ldd call to see if something is missing in SAT