Asttypes(3o) on Linux

The text dc15450a18c2, as Debian 9 (Stretch) shipped it.

no description

Asttypes(3o) on Linux now