added Dump.php for easier debugging