Removed (now) useless directory.