fixed filename suffix for compiled dtd