Indeed. So the libopencm3 rev. can't be updated in libopencm3-examples without these lines creating an error - what should the change be?