Snappy Debian packages for PHP5