Add lingeling support