Ceylondoc #1091 simplify file names