bug fix for installer.sh (unnecessary for final version but for dev version) - release on final as patch