New binaries for spec tests