minor: get rid of os_name extension in config file