Delete that weird-looking directory.

See #148.