Is there a release of horde 5.x.x that will work with php 7? Anyone know of special instructions for php 7? Can I install php 5.6 in addition to php 7 on CentOS 7 from source code without borking php 7?