Include libsat.a