FileSaveRestoreOnINFA(3w) on Linux

The text bdc15d1f92bf, as Debian 4.0 (Etch) shipped it.

FileSaveRestoreOnINFA(3w) on Linux now