try not setting a default terminal anymore, now that we have a non-insane one