--- # vars file for linux_config_tinker