Counting digraphs and hypergraphs

In the paper, `Generic transformations of data structures,' the authors showed that no hypergraph on n vertices has automorphism group A_n if n is at least 3. Here it is shown that no digraph on n vertices has automorphism group A_n if n is at least 4. (A_n is the group of even permutations nn n letters.)