frontend: get rid of _FILE_OFFSET_BITS