Usage: php dump-status.php /path/to/devfile