Revert "file-formula: remove upstreamed patch"

This was allegedly upstreamed, but in fact appears to have gone
missing.

This reverts commit 001dd091a5451fac90a2987e7b6936b1a9a50421.