FILExt, para localizar la fuente de un archivo a partir de su extensión