use php DIRECTORY_SEPARATOR throughout the code