Extra options for linking VHPI plugins on OS X