any idea if this should be using DIRECTORY_SEPARATOR here?