ida can be slow, so don't make it the default