make program compile with libsat