fix path to hotfix 13 in install script