added synergy mavericks workaround to alias