Fixed grep issues in ci_macosx.sh

The script used to fail since grep returns 1 if no matches are found. Replacing "grep ..." by "(grep ... || :)" resolves the issue, as the return code is always 0 due to the ":".