let mk_baseuri root extra =
let chop name =
assert(Filename.check_suffix name ".ma" ||
- Filename.check_suffix name ".mma");
+ Filename.check_suffix name ".mma" ||
+ Filename.check_suffix name ".mad");
try Filename.chop_extension name
with Invalid_argument "Filename.chop_extension" -> name
in