Dirty, dirty scripts to re-package Dotdeb PHP 5.3 for Debian Wheezy