Directory deletion

Deletion of useless directory.