only make Lingeling necessary files

Also get rid of a warning in plingeling.c, which we don't need.