use DIRECTORY_SEPARATOR everywhere

I know it's not life-threatening, but I think it's a bit more conventional