Do not use pushd/popd in libtool script