skim uses SKIM_DEFAULT_OPTIONS rather than SKIM_DEFAULT_OPTS. (cherry picked from commit 734128930f)
734128930f