Fix port for badgekitapi