Minor change in install script: always pull.