Switch some formulas from fuse4x to osxfuse

Exfiltrated working formulas from #25497 as fuse4x is merged into osxfuse.