Dropbox file size on disk

This is fixed in the 12.17.2 beta.