* readlog.hs: delete the readlog.hs