Document aux directories in config_file.
Version bump.