Revert "remove bad directory"

This reverts commit 0cf5fc3699767cc9960391dd1b06657ce1697253.