Patch by Jonathan Neuschäfer to LICENSE.TXT: "STP has been removed from the KLEE repository in r161056."