bin_prot 109.15.01
Merge pull request #786 from janestreet/master

bin_prot 109.15.01