use linux style options for config file and add a system config file for XBoard