Delete Lepton.h