Ugly hacks to fix directory name
Ugly hacks to fix directory name