extension/directory_extension library