We were not supposed to include src/. Oops.
And no proto, either!