libc_spec: Use hash-rockets