Look for OmniGraffle Professional 5 if OmniGraffle 5 does not exist, fixes #16