extension/file_extension library