Change BoxFileInputStream

That doesn't make the thing work, however :(