Adding Lem-generated scripts