delete automathon.hs