...but it's the only use of that tool apparently (hoping that libtool
merely checks for it for decorative purposes) so perhaps we can do
without another config_host.mk variable...

Change-Id: I2a0dec4c01dc8ad3327b34a99c807705fedcdd00