LibGDX' SelectBox API changed, breaking our code. This just fix it.