use DIRECTORY_SEPARATOR everywhere