Dear Travis, oh how inconsistent these distro maintainers are in php package names, lets try php5 as a prefix shall we?