fix for restore_dump