Update 'Ofront for Linux' (added the same useful modifications as in 'Ofront for Windows').