Can't we use the XSENDFILE stuff for this to avoid having to open binary files within Python?