@Milhouse: thanks for the feedback. Oddly enough it built fine on all platforms (linux, rpi, osx, ios and android) on jenkins...
Always read the online manual(wiki), FAQ(wiki) and search the forum before posting.
Do not e-mail Team Kodi members directly asking for support. Read/follow the forum rules(wiki).
Please read the pages on troubleshooting(wiki) and bug reporting(wiki) before reporting issues.