Fixed name of brainduck terminal in config file