I couldn't find out a decent way of getting the compiled binary
needed only at build time, so the file needs to be generated manually.

Change-Id: I4a77aa8ee350f374c9b8b91361797d86871ff8b4