They use ACL, so they license it. It's not up to them to port it (and naturally it's not redistributable).