Delete some files.

Closed #4.