Delete X509.hs