Use sh instead of bash in install script:

  sh should be available in a lot more environments than bash, relying
only on sh will allow to build on more systems. This change remove usage
of pushd and popd as it seems to be bash specific and we can achieve the
same result (installing the dynamic library) without using those
commands.