Issue #32: tweak install script [ci skip]