Remove an empty directory left after r194304, which incompletely reverted r194218