some options still missing?

[Joakim Tjernlund]

This fix seems to have been lost:
https://lists.gnu.org/archive/html/libtool-patches/2019-05/msg00000.html