hooks/post-install/remove-libtool: do not escape * to make this work with virtuoso.