Safari web browser auto executes shell scripts; disable ‘Open ‘safe’ files after downloading’ option