debian packages and dump.php fix