When pressing the "Make [NDK] Default" button while the list is empty leads to a crash.
The button should actually not be enabled if the list es empty.