I moved the code deleting the bundled pre-compiled libraries to
a snippet in order to remove them directly from the sources archive, and
pushed the patch as 9c8ed43dd884ac143d759d12f2bc451fe3853ed2.
Thanks.