binary from 3.1.2 source