Introduced triple slashes again to be compatible with PHP stream wrappers