Adding binary for stdlib