Deleted files accidentally added in commit 6af3e84.