HomeIsabelle/Phabricator

Use fgetpos and fsetpos instead of ftell and fseek. These work correctly with…