cf. the various ext.ooo.*.lib in the tarball's build.xml

Change-Id: If58534c78b04768ab2d0524079d70bdd8ad16c00