A derivation of Apache ZooKeeper that actually builds RPMs successfully