Extension for texy implementation of a configuration option config files