Switch some formulas from fuse4x to osxfuse

Working formulas from #25497 as fuse4x is merged into osxfuse.