actually, we need to regen libtool.mk