rango: max file size is 10^16 bytes now