Temporarily downgrade the openoffice-devel port from the upstream trunk
branch to 4.1.2-RC1 in order to give the latter wider exposure before
4.1.2 is released.
Add this missing missing bits of patch-i114430 that were committed
to trunk upstream but that are not in 4.1.2-RC1.
Removing --enable-symbols=small from CONFIGURE_ARGS allows us to avoid
the need to use ${STRIP_CMD}.