--- # defaults file for linux_config_tinker