Merge pull request #2296 from pstadler/master

check_for_upgrade.sh: source ~/.profile only if it exists

tools/check_for_upgrade.sh

@@ -20,7 +20,7 @@ if [[ -z "$epoch_target" ]]; then
   epoch_target=13
 fi
 
-[ ~/.profile ] && source ~/.profile
+[ -f ~/.profile ] && source ~/.profile
 
 if [ -f ~/.zsh-update ]
 then