let uripath = if st.cover = "" then path else st.cover :: path in
let str = String.concat "/" uripath in
let str = Filename.concat str id in
- U.uri_of_string ("ld:/" ^ str), id, path
+ U.uri_of_string ("ld:/" ^ str ^ ".ld"), id, path
let uri_of_qid (uri, _, _) = uri