Delete lemin.h