Fix some incompatibilities in install.sh