ignoring mini-rt.tar in scripts/demo