Android needs old-style 64-bit file sizing