error: ‘OMXClock’ does not name a type

I’m building Kodi (latest commit on Jarvis branch) on a Raspberry Pi 3:

Code:
Linux RaspPi 4.9.3-v7-arm #3 SMP armv7l BCM2835 GNU/Linux

Here is my build configuration:

Code:
------------------------
  Kodi Configuration:
------------------------
  Kodi Version: 16.1
  git Rev.:     Unknown
  Debugging:    Yes
  Profiling:    No
  Optimization: Yes
  SWIG Available:       Yes
  JRE Available:        Yes
  Doxygen Available:    Yes
  Crosscomp.:   No
  target ARCH:  arm
  target CPU:
  OpenGLES:     Yes
  ALSA:         Yes
  DBUS:         Yes
  VDPAU:        No
  VAAPI:        No
  VTBDecoder:   No
  OpenMax:      No
  Joystick:     No
  Touch skin:   No
  X11:          No
  Wayland:      No
  Bluray:       No
  TexturePacker:No
  MID Support:  No
  ccache:       Yes
  ALSA Support: Yes
  PulseAudio:   Yes
  DVDCSS:       No
  Google Test Framework Configured:     Yes
  Google Breakpad Configured:   No
  Avahi:        No
  mDNSEmbedded: No
  Non-free:     No
  ASAP Codec:   No
  MySQL:        Yes
  Webserver:    Yes
  libssh support:       Yes
  libRTMP support:      No
  libsmbclient support: Yes
  libnfs client support:No
  libgif support:       Yes
  AirPlay support:      Yes
  AirTunes support:     No
  UPnP support:         No
  Optical drive:        No
  libudev support:      Yes
  libusb support:       No
  libcec support:       No
  libcap support:       Yes
  additional players:   Yes, omxplayer
  additional codecs:    No
  prefix:       /usr/local
------------------------

I’m also using –with-ffmpeg=shared.

However, I get this error:

Code:
In file included from PlayerCoreFactory.cpp:23:0:
/tmp/xbmc-Jarvis/xbmc/cores/dvdplayer/DVDPlayer.h:73:3: error: ‘OMXClock’ does not name a type
   OMXClock av_clock;              // openmax clock component
   ^