make use of DIRECTORY_SEPARATOR