creo aunque aclaro no se nada de PHP mira la siguiente opcion:
abre el explorador de windows y da click en la opcion VER luego en la opcion "opcion" y quita un chulito que debe de traer una opcion que se debe de decir "ocultar extenciones para archivos conocidos" o algo por el estilo.
si manejas un windows ME da click en la pestaña herramientes y luego en opciones de carpeta y busca una pestaña que se llama ver y busca un check box que dice "ocultar extenciones para tipos conocidos de archivos"
Por que segun tu problema creo es que generas un archivo dll pero de pronto te lo está guardando como un txt a si tu le pongas la extencion dll te lo aclaro con un ejemplo:
pepe.dll (sin quitarle la opcion que te digo) asi lo verias pero el sistema lo lee como:
pepe.dll.txt
para que quede pepe.dll (quitale la opcion que te digo y ya) con eso quedara como un dll y se leera como tal
mucha suerte viejo
